A Petri Net Based Multi-Agent System Behavioral Testing
نویسندگان
چکیده
منابع مشابه
A Petri Net Based Agent Behavioral Testing
In Multi-Agent System (MAS), developers concentrate on creating design models and evolving them, from higher level models to lower level models, in several steps. Considerable part of MAS implementations is automatically produced from the design models. If a design model contains faults, they are passed to the generated implementations. Practical model validation techniques are required to disc...
متن کاملA Conceptual Graph Petri Net Model based Multi Agent System
In this work, we propose a new formal tool called CGPN (Conceptual Graph Petri Nets) which is a combination of CG (Conceptual Graph) and CPN (Color Petri Net) to model collaborative behavior of agents in a MAS(Multi Agent System) to achieve some goals. The CG is used to represent knowledge and on the other side CPN is used to model the concurrent and dynamic aspects of a system. It is difficult...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملBehavioral Modeling of Multi Agent System: High Level Petri Net Based Approach
Modeling interactions between agents and the Multi-Agent System (MAS) behavior based on role based collaboration among the participating agents are the key factors to design of effective MAS dynamics. In this paper, a High level Multi Agent Petri Net called HMAP has been proposed which is capable of describing, analyzing and modeling dynamics of such MAS which are characterized as asynchronous,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Modern Applied Science
سال: 2012
ISSN: 1913-1852,1913-1844
DOI: 10.5539/mas.v6n3p46